A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
نویسندگان
چکیده
The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synthesis tools developed for PWA systems to a DHA class of hybrid systems.
منابع مشابه
An Efficient Technique for Translating Mixed Logical Dynamical Systems into Piecewise Affine Systems
For linear hybrid systems consisting of linear dynamic equations interacting with linear threshold events, automata, and logic propositions, provided in mixedlogical dynamical (MLD) form, this paper describes an efficient technique for transforming such systems into an equivalent piecewise affine (PWA) form, where equivalent means that for the same initial conditions and input sequences the tra...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملEnlarging Domain of Attraction for a Special Class of Continuous-time Quadratic Lyapunov Function Piecewise Affine Systems based on Discontinuous Piecewise
This paper presents a new approach to estimate and to enlarge the domain of attraction for a planar continuous-time piecewise affine system. Various continuous Lyapunov functions have been proposed to estimate and to enlarge the system’s domain of attraction. In the proposed method with a new vision and with the aids of a discontinuous piecewise quadratic Lyapunov function, the domain of attrac...
متن کاملSymbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling.
Hybrid automata are an eminently suitable modelling framework for biological protein regulatory networks, as the protein concentration dynamics inside each biological cell are modelled using linear differential equations; inputs activate or deactivate these continuous dynamics through discrete switches, which themselves are controlled by protein concentrations reaching given thresholds. This pa...
متن کاملRealization Theory for Discrete-Time Piecewise-Affine Hybrid Systems
The paper investigates the realization problem for piecewise-affine discrete-time hybrid systems. A piecewise-affine discrete-time hybrid system is a discrete-time system such that the state-transition and readout maps are piecewise-affine maps. We will restrict our attention to autonomous systems and we will study the following realization problem. For a specified output trajectory, find a pie...
متن کامل